#include <test2.h>
#include <stdio.h>
#include <sys/syscall.h>
#include <time.h>
//extern uint64_t *sched_cost;
void timer_task(void)
{
    int print_location = 2;

    while (1)
    {
        /* call get_timer() to get time */
        uint32_t time_elapsed = clock();
	      uint32_t time = 0;
        time = time_elapsed / CLOCKS_PER_SEC;
        sys_move_cursor(1, print_location);
        printf("> [TASK] This is a thread to timing! (%u/%u seconds).\n", time, time_elapsed);
        //sys_move_cursor(1, 8);
        //printf("> [TEST] Time cost of scheduler is %u ticks\n",*sched_cost);
        //sys_yield();
    }
}

/*void scheduler_task(void){
    int print_location = 9;
    while(1){
       sys_move_cursor(1, print_location); 
       uint32_t ticks = sys_yield();
       printf("> [TASK]\n");
    }
}*/
